UNIF 26 26 th International Workshop on Unification Proceedings July 1 , 2012 Manchester , United Kingdom
نویسندگان
چکیده
Unification modulo equational theories was originally introduced in automated deduction and term rewriting, but has recently also found applications in modal logics and description logics. In this talk, we review problems and results for unification in description logics, and relate them to equational unification and unification in modal logics. Related problems, like disunification, rigid E-unification, and admissibility of inference rules will also be considered.
منابع مشابه
High metabolic potential may contribute to the success of 1 ST 131 uropathogenic Escherichia coli 2 3 4
4 Tarek M. Gibreel, Andrew R. Dodgson, John Cheesbrough, Frederick J. Bolton, 5 Andrew J. Fox and Mathew Upton 6 7 8 Microbiology and Virology Unit, School of Medicine, University of Manchester, Stopford 9 Building, Oxford Road, Manchester, M13 9PL, United Kingdom. Central Manchester 10 Foundation Trust, Oxford Road Manchester, Manchester, M13 9WL. Preston Microbiology 11 Services, Royal Presto...
متن کامل15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 26-28 June 2006, Manchester, United Kingdom
متن کامل
ARW 2012 Proceedings of the 19 th Automated Reasoning Workshop 2 – 4 April 2012 School of Computer Science The University of Manchester United Kingdom
Perhaps the most extraordinary surviving relic from the ancient Greek world is a device containing over thirty gear wheels dating from the late 2nd century B.C., and now known as the Antikythera Mechanism. This device is an order of magnitude more complicated than any surviving mechanism from the following millennium, and there is no known precursor. It is clear from its structure and inscripti...
متن کاملSecond International Workshop on Pattern Recognition in NeuroImaging, PRNI 2012, London, United Kingdom, July 2-4, 2012
متن کامل
Quantitative changes in focal adhesion kinase and its 1 inhibitor , FRNK , drive load - dependent expression of 2 costamere components 3 4
costamere components 3 4 Stephan Klossner, Ruowei Li, Severin Ruoss, Anne-Cécile Durieux, Martin 5 Flück 6 7 8 Affiliation: Department of Anatomy, University of Berne, Berne, Switzerland 9 Institute for Biomedical Research into Human Movement and Health, Manchester 10 Metropolitan University, Manchester, United Kingdom 11 Department of Cardiovascular Surgery, University Hospital of Berne, Switz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012